Простий пошук
Розширений пошук
Алфавітні покажчики

Бази даних

Реферативна база даних - результати пошуку

Віртуальна довідка
Тематичний інтернет-навігатор
Наукова електронна бібліотека
Автореферати дисертацій
Реферативна база даних
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
Пошуковий запит: (<.>A=Kapitonova Yu$<.>)
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2
      
Категорія:    
1.

Kapitonova Yu.  
Algorithm ochevidnosti'2000 (project) / Yu. Kapitonova, A. Letichevsky, M. Morokhovets, A. Lyaletski // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 68-70. - Библиогр.: 15 назв. - англ.

Описывается проект "Алгоритм Очевидности'2000" как новый уровень понимания программы "Алгоритм Очевидности", инициированной В. Глушковым в начале 60-х годов. Этот проект ориентирован на подключение к международной математической деятельности по эффективному решению следующих задач: распределенное автоматизированное доказательство теорем, проверка корректности математических текстов, удаленное обучение математическим дисциплинам, извлечение знаний из математических работ, построение баз знаний для математических теорий.


Ключ. слова:
Індекс рубрикатора НБУВ: В1 + З973-018

Рубрики:
 Математика 
 Комп'ютери та програмування 
      
Категорія:    
2.

Letichevskii A. A. 
Semantics of timed message sequence charts = Розширена версія мови MSC / A. A. Letichevskii, Yu. V. Kapitonova, V. P. Kotlyarov, A. A. Letichevskii Jr., V. A. Volkov // Кибернетика и систем. анализ. - 2002. - № 4. - С. 3-14. - Библиогр.: 10 назв. - англ.

Наведено розширену версію мови MSC з часовими специфікаціями для описуваних подій, що використовується для верифікації вимог в інтерактивних системах. Зазначено, що введення формальних семантик є новим підходом, що базується на теорії взаємодіючих агентів і середовищ. Розроблено алгоритм перевірки часової несумісності, що базується на цих семантиках.


Ключ. слова: semantics of languages, MSC language, verification of requirements, theory of interaction of agents and environments, time consistency
Індекс рубрикатора НБУВ: З973-018.2

Рубрики:
 Комп'ютери та програмування 

Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ 
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського